Pacholski, Leszek: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Clustered macroergonomic structures

Leszek Pacholski, Stefan Trzcieliński, Magdalena K. Wyrwicka

Journal:

Human Factors and Ergonomics in Manufacturing & Service Industries

Year:

2011

Language:

english

File:

PDF, 781 KB

english, 2011

2

Studies on a new concept of 3D Data integration about reaches and forces of a disabled person on a wheelchair (CAD methods in car and market ergonomics)

Bogdan Branowski, Leszek Pacholski, Michał Rychlik, Marek Zabłocki, Piotr Pohl

Journal:

Human Factors and Ergonomics in Manufacturing & Service Industries

Year:

2012

Language:

english

File:

PDF, 523 KB

english, 2012

3

European Meeting of the Association for Symbolic Logic

Leszek Pacholski

Journal:

Journal of Symbolic Logic

Year:

1979

Language:

english

File:

PDF, 715 KB

english, 1979

4

[Lecture Notes in Mathematics] Model Theory of Algebra and Arithmetic Volume 834 || Further remarks on the elementary theory of formal power series rings

Pacholski, Leszek, Wierzejewski, Jedrzej, Wilkie, Alec J.

Year:

1980

Language:

english

File:

PDF, 346 KB

english, 1980

5

[Lecture Notes in Mathematics] Model Theory of Algebra and Arithmetic Volume 834 || Two orderings of the class of all countable models of peano arithmetic

Pacholski, Leszek, Wierzejewski, Jedrzej, Wilkie, Alec J.

Year:

1980

Language:

english

File:

PDF, 649 KB

english, 1980

6

Political ergonomics, macroergonomic battles

Leszek Pacholski, Krzysztof Piotrowski

Journal:

Human Factors and Ergonomics in Manufacturing & Service Industries

Year:

2008

Language:

english

File:

PDF, 100 KB

english, 2008

7

Thue trees

Jerzy Marcinkowski, Leszek Pacholski

Journal:

Annals of Pure and Applied Logic

Year:

2003

Language:

english

File:

PDF, 352 KB

english, 2003

8

Preface

Patrick Cegielski, Leszek Pacholski, Denis Richard, Jerzy Tomasik, Alex Wilkie

Journal:

Annals of Pure and Applied Logic

Year:

1997

Language:

english

File:

PDF, 45 KB

english, 1997

9

Makanin's algorithm is not primitive recursive

Antoni Kościelski, Leszek Pacholski

Journal:

Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 722 KB

english, 1998

10

Homogeneous limit reduced powers

Leszek Pacholski

Journal:

Archive for Mathematical Logic

Year:

1981

Language:

english

File:

PDF, 298 KB

english, 1981

11

[Lecture Notes in Computer Science] Computer Science Logic Volume 933 || Subrecursion as a basis for a feasible programming language

Pacholski, Leszek, Tiuryn, Jerzy

Year:

1995

Language:

english

File:

PDF, 868 KB

english, 1995

12

[Lecture Notes in Computer Science] Computer Science Logic Volume 933 || Logic programming in Tau Categories

Pacholski, Leszek, Tiuryn, Jerzy

Year:

1995

Language:

english

File:

PDF, 836 KB

english, 1995

13

Reduced products which are not saturated

Leszek Pacholski, Jerzy Tomasik

Journal:

Algebra Universalis

Year:

1982

Language:

english

File:

PDF, 793 KB

english, 1982

14

[Lecture Notes in Computer Science] Computer Science Logic Volume 933 || Algorithmic aspects of propositional tense logics

Pacholski, Leszek, Tiuryn, Jerzy

Year:

1995

Language:

english

File:

PDF, 638 KB

english, 1995

15

[Lecture Notes in Computer Science] Computer Science Logic Volume 933 || A λ-calculus structure isomorphic to Gentzen-style sequent calculus structure

Pacholski, Leszek, Tiuryn, Jerzy

Year:

1995

Language:

english

File:

PDF, 722 KB

english, 1995

16

Complexity Results for First-Order Two-Variable Logic with Counting

Pacholski, Leszek, Szwast, WiesL aw, Tendera, Lidia

Journal:

SIAM Journal on Computing

Year:

2000

Language:

english

File:

PDF, 648 KB

english, 2000

17

[Lecture Notes in Mathematics] Model Theory of Algebra and Arithmetic Volume 834 || Totally categorical theories: Structural properties and the non-finite axiomatizability

Pacholski, Leszek, Wierzejewski, Jedrzej, Wilkie, Alec J.

Year:

1980

Language:

english

File:

PDF, 1.47 MB

english, 1980

18

[Lecture Notes in Computer Science] SOFSEM 2001: Theory and Practice of Informatics Volume 2234 || Formal Verification Methods for Industrial Hardware Design

Pacholski, Leszek, Ružička, Peter

Year:

2001

Language:

english

File:

PDF, 194 KB

english, 2001

19

[Lecture Notes in Mathematics] Model Theory of Algebra and Arithmetic Volume 834 || A hierarchy of cuts in models of arithmetic

Pacholski, Leszek, Wierzejewski, Jedrzej, Wilkie, Alec J.

Year:

1980

Language:

english

File:

PDF, 1.05 MB

english, 1980

20

On Saturated Reduced Products.by Miroslav Benda

Review by: Leszek Pacholski

Journal:

Journal of Symbolic Logic

Year:

1975

Language:

english

File:

PDF, 81 KB

english, 1975

21

For what Filters is Every Reduced Product Saturated?by Saharon Shelah

Review by: Leszek Pacholski

Journal:

Journal of Symbolic Logic

Year:

1975

Language:

english

File:

PDF, 81 KB

english, 1975

22

O Kompaktnyh Klassah Algebraiceskih Sistem.by S. R. Kogalovskij

Review by: Leszek Pacholski

Journal:

Journal of Symbolic Logic

Year:

1974

Language:

english

File:

PDF, 217 KB

english, 1974

23

Structural Characteristics of Universal Classes.by S. R. Kogalovskij

Review by: Leszek Pacholski

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 202 KB

english, 1972

24

Ob Algebraiceskih Konstrukciah Sohranauscih Kompaktnost.by S. R. Kogalovskij

Review by: Leszek Pacholski

Journal:

Journal of Symbolic Logic

Year:

1974

Language:

english

File:

PDF, 324 KB

english, 1974

25

O Kvaziproéktivnyh Klassah Modéléj.by S. R. Kogalovskij

Review by: Leszek Pacholski

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 136 KB

english, 1972

26

Set constraints with projections

Pacholski, Witold Charatonik Leszek

Journal:

Journal of the ACM

Year:

2010

Language:

english

File:

PDF, 406 KB

english, 2010

27

FUZZY LOGIC APPLICATION IN ERGONOMIC RENEWAL OF MULTIAGENT MANUFACTURING SYSTEMS

PACHOLSKI, LESZEK M.

Journal:

Cybernetics & Systems

Year:

1998

Language:

english

File:

PDF, 250 KB

english, 1998

28

[Lecture Notes in Mathematics] Model Theory of Algebra and Arithmetic Volume 834 || The quantifier elimination problem for rings without nilpotent elements and for semi-simple rings

Pacholski, Leszek, Wierzejewski, Jedrzej, Wilkie, Alec J.

Year:

1980

Language:

english

File:

PDF, 431 KB

english, 1980

29

ERGONOMIC ISSUES OF THE NEURAL INTEGRATED HUMAN–COMPUTER INTERACTION

Pacholski, Leszek

Journal:

Cybernetics & Systems

Year:

2006

Language:

english

File:

PDF, 102 KB

english, 2006

30

[Lecture Notes in Computer Science] SOFSEM 2001: Theory and Practice of Informatics Volume 2234 || ADST: An Order Preserving Scalable Distributed Data Structure with Constant Access Costs

Pacholski, Leszek, Ružička, Peter

Year:

2001

Language:

english

File:

PDF, 196 KB

english, 2001

31

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1999 Volume 1672 || An Algebraic Approach to Knowledge Representation

Kutyłowski, Mirosław, Pacholski, Leszek, Wierzbicki, Tomasz

Year:

1999

Language:

english

File:

PDF, 632 KB

english, 1999

32

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1999 Volume 1672 ||

Kutyłowski, Mirosław, Pacholski, Leszek, Wierzbicki, Tomasz

Year:

1999

Language:

english

File:

PDF, 25.12 MB

english, 1999

33

[Lecture Notes in Computer Science] SOFSEM 2001: Theory and Practice of Informatics Volume 2234 || Model Checking Communication Protocols

Pacholski, Leszek, Ružička, Peter

Year:

2001

Language:

english

File:

PDF, 169 KB

english, 2001

34

[Lecture Notes in Computer Science] SOFSEM 2001: Theory and Practice of Informatics Volume 2234 ||

Pacholski, Leszek, Ružička, Peter

Year:

2001

Language:

english

File:

PDF, 3.98 MB

english, 2001

35

[Lecture Notes in Computer Science] Computer Science Logic Volume 933 || On the interpretation of type theory in locally cartesian closed categories

Pacholski, Leszek, Tiuryn, Jerzy

Year:

1995

Language:

english

File:

PDF, 826 KB

english, 1995

36

[Lecture Notes in Mathematics] Model Theory of Algebra and Arithmetic Volume 834 || Applications of complexity theory to Σo-definability Problems in arithmetic

Pacholski, Leszek, Wierzejewski, Jedrzej, Wilkie, Alec J.

Year:

1980

Language:

english

File:

PDF, 328 KB

english, 1980

37

Asymptotic probabilities of existential second-order Gödel sentences

Pacholski, Leszek, Szwast, WiesŁaw

Journal:

Journal of Symbolic Logic

Year:

1991

Language:

english

File:

PDF, 754 KB

english, 1991

38

[Lecture Notes in Mathematics] Model Theory of Algebra and Arithmetic Volume 834 || Rings of continuous functions: Decision problems

Pacholski, Leszek, Wierzejewski, Jedrzej, Wilkie, Alec J.

Year:

1980

Language:

english

File:

PDF, 1.65 MB

english, 1980

39

Meeting of the Association for Symbolic Logic, Karpacz, Poland, 1979

Pacholski, Leszek, Wierzejewski, Jedrzej

Journal:

Journal of Symbolic Logic

Year:

1981

Language:

english

File:

PDF, 956 KB

english, 1981

40

Complexity of Makanin's algorithm

Kościelski, Antoni, Pacholski, Leszek

Journal:

Journal of the ACM

Year:

1996

Language:

english

File:

PDF, 519 KB

english, 1996

41

In Memoriam: Jerzy Łoś, 1920-1998

Leszek Pacholski

Journal:

Bulletin of Symbolic Logic

Year:

2000

Language:

english

File:

PDF, 153 KB

english, 2000

42

[Lecture Notes in Mathematics] Model Theory of Algebra and Arithmetic Volume 834 || Ramsey quantifiers in arithmetic

Pacholski, Leszek, Wierzejewski, Jedrzej, Wilkie, Alec J.

Year:

1980

Language:

english

File:

PDF, 1.19 MB

english, 1980

43

On Universal Classes of Algebras.by S. R. Kogalovskij

Review by: Leszek Pacholski

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 231 KB

english, 1972

44

[Lecture Notes in Mathematics] Model Theory of Algebra and Arithmetic Volume 834 || Some model theory and number theory for models of weak systems of arithmetic

Pacholski, Leszek, Wierzejewski, Jedrzej, Wilkie, Alec J.

Year:

1980

Language:

english

File:

PDF, 960 KB

english, 1980

45

[Lecture Notes in Computer Science] Computer Science Logic Volume 933 || An algebraic view of structural induction

Pacholski, Leszek, Tiuryn, Jerzy

Year:

1995

Language:

english

File:

PDF, 944 KB

english, 1995

46

[Lecture Notes in Computer Science] Computer Science Logic Volume 933 || First-order spectra with one binary predicate

Pacholski, Leszek, Tiuryn, Jerzy

Year:

1995

Language:

english

File:

PDF, 536 KB

english, 1995

47

[Lecture Notes in Computer Science] Computer Science Logic Volume 933 || A mixed linear and non-linear logic: Proofs, terms and models

Pacholski, Leszek, Tiuryn, Jerzy

Year:

1995

Language:

english

File:

PDF, 877 KB

english, 1995

48

[Lecture Notes in Computer Science] Computer Science Logic Volume 933 || Subtyping with singleton types

Pacholski, Leszek, Tiuryn, Jerzy

Year:

1995

Language:

english

File:

PDF, 859 KB

english, 1995

49

[Lecture Notes in Mathematics] Model Theory of Algebra and Arithmetic Volume 834 || Minimally saturated models

Pacholski, Leszek, Wierzejewski, Jedrzej, Wilkie, Alec J.

Year:

1980

Language:

english

File:

PDF, 495 KB

english, 1980

50

[Lecture Notes in Mathematics] Model Theory of Algebra and Arithmetic Volume 834 || Cofinal extension preserves recursive saturation

Pacholski, Leszek, Wierzejewski, Jedrzej, Wilkie, Alec J.

Year:

1980

Language:

english

File:

PDF, 440 KB

english, 1980